$\forall$$g$:OMon. ($g$$\downarrow$set) $\in$ LOSet